Communicating sequential processes - PDFSEARCH.IO - Document Search Engine

Communicating sequential processes
Results: 71

#	Item
31	First 5 California Child Signature Program CSP Participation CSP 1  8 Counties  1,301 Classrooms Add to Reading List Source URL: first5association.org Language: English - Date: 2014-04-28 13:04:14 E-learning Cleveland scholarship programs Communicating sequential processes Education Early childhood education Preschool education
32	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2009-07-20 10:50:23 Methodology Project management Software design Software development Software architecture Architecture description language Process modeling Communicating sequential processes Software development process Computing Science Systems engineering
33	Application For Services - Child Attending School (CSF 030574C) Add to Reading List Source URL: www.oregonchildsupport.gov Language: English - Date: 2013-01-24 18:57:13 Family law Marriage Parenting Family Social Security Human development Human behavior Communicating sequential processes Conservation Security Program Child support Childhood Divorce
34	Application For Child Support Services (CSF[removed]) Add to Reading List Source URL: www.oregonchildsupport.gov Language: English - Date: 2013-01-24 18:57:11 Family law Marriage Parenting Human behavior Child support Noncustodial parent Contact Child support in the United States Communicating sequential processes Family Child custody Divorce
35	The Implementation of Newsqueak Rob Pike AT&T Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: swtch.com Language: English - Date: 2005-09-27 12:15:39 Procedural programming languages Newsqueak Channel ALGOL 68 Communicating sequential processes Scheduling Pointer Go Stack Computing Software engineering Computer programming
36	Project: COMPASS Grant Agreement: [removed]Comprehensive Modelling for Advanced Systems of Systems SysML Blocks in CML COMPASS White Paper WP02 Add to Reading List Source URL: www.compass-research.eu Language: English - Date: 2014-02-21 07:41:09 Unified Modeling Language Systems Modeling Language Systems engineering Diagram Activity diagram Denotational semantics Modeling language Communicating sequential processes Entity-relationship model Data modeling Software engineering Computing
37	First 5 California Child Signature Program CSP Participation CSP 1  8 Counties  1,301 Classrooms Add to Reading List Source URL: www.ccfc.ca.gov Language: English - Date: 2014-04-25 12:54:08 E-learning Cleveland scholarship programs Communicating sequential processes Education Early childhood education Preschool education
38	University of Surrey On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Department of Computing Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2013-05-25 17:08:22 Software engineering Process calculi Railway signalling Communicating sequential processes Models of computation Interlocking Formal methods Process calculus Model checking Computing Concurrent computing Computer science
39	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2014-04-07 11:14:04 Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics Computing Theoretical computer science